Büchi automaton - PDFSEARCH.IO - Document Search Engine

Büchi automaton
Results: 70

#	Item
61	CONTRIBUCIONES CIENT´ IFICAS ´ GOMEZ Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2010-07-19 06:24:06 Abstract algebra Ordinal number Constructible universe Complementation of Büchi automaton Ordinal arithmetic Mathematical logic Mathematics Automata theory
62	International Journal of Foundations of Computer Science c World Scientific Publishing Company Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2009-11-02 10:14:24 Formal languages Mathematics Finite state transducer Formal methods Semiring Finite-state machine Sequence Büchi automaton Automata theory Models of computation Theoretical computer science
63	ISSN[removed], Programming and Computer Software, 2008, Vol. 34, No. 1, pp. 27–43. © Pleiades Publishing, Ltd., 2008. Original Russian Text © E.V. Kuzmin, V.A. Sokolov, 2008, published in Programmirovanie, 2008, Vol. 34, No. 1. Add to Reading List Source URL: is.ifmo.ru Language: English - Date: 2008-03-11 23:34:24 Theoretical computer science Computer science Büchi automaton Finite-state machine Deterministic finite automaton State Petri net Kripke structure Nested word Models of computation Automata theory Formal methods
64	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 23, NO. 5, MAY[removed] Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:28 Formal methods Automata theory Models of computation SPIN model checker Model checking Promela Formal verification Büchi automaton Linear temporal logic Model checkers Theoretical computer science Applied mathematics
65	PDF Document Add to Reading List Source URL: engineering.dartmouth.edu Language: English - Date: 2008-04-07 10:58:34 Applied mathematics DFA minimization Myhill–Nerode theorem Nondeterministic finite automaton Regular language Complementation of Büchi automaton Büchi automaton Automata theory Theoretical computer science Computer science
66	PDF Document Add to Reading List Source URL: www.vub.ac.be Language: English - Date: 2001-11-20 12:30:01 Finite model theory If and only if Applied mathematics Complementation of Büchi automaton Probability space Mathematics Probability theory FO
67	PDF Document Add to Reading List Source URL: www.tcs.tifr.res.in Language: English - Date: 2006-02-23 13:10:09 Set theory Formal languages Ω-automaton Models of computation Combinatorics on words Büchi automaton Sequence Tree Infinity Mathematics Mathematical logic Automata theory
68	PDF Document Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2009-11-02 10:14:25 Applied mathematics Mathematics Semiring Finite-state machine Computing Büchi automaton Automata theory Models of computation Finite state transducer
69	PDF Document Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2001-05-09 00:35:29 Deterministic finite automaton Nondeterministic finite automaton Symbol Sequence Büchi automaton Ω-automaton Automata theory Models of computation Mathematics
70	Untitled Add to Reading List Source URL: acl.ldc.upenn.edu Language: English - Date: 2002-06-11 09:19:54 Applied mathematics Trie Finite-state machine Algorithm Regular language Büchi automaton Infinite tree automaton Automata theory Theoretical computer science Computer science